Philosophy Dictionary of ArgumentsHome | |||
| |||
Logical truth: a statement is logically true if it is true on the basis of its form alone. This finding, however, is not absolute since the logical truth is also influenced by other factors such as e.g. the richness of the object language._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
John Bigelow on Logical Truth - Dictionary of Arguments
I 132 Logical Truth/Bigelow/Pargetter: Problem: Logical and non-logical truths are not easy to distinguish. For example, you could simply add a to the axioms, then Na would be a theorem! (Because of the rule of necessitating, necessitation, see above.). Problem: the truth of "a" ultimately depends on our interpretation of the predicates. >Interpretation, >Valuation, >Predicates. Theorems: on the other hand, remain true with every interpretation. For them, it only depends on the interpretation of the other symbols (not the names and predicates). >Variables, >Symbols, >Logical constants. Logical truth/Bigelow/Pargetter: can be characterized in two ways a) axiomatically (true from the list of axioms). b) semantically (true by interpreting the logical symbols). >Axioms, >Axiom Systems, >Semantics._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Big I J. Bigelow, R. Pargetter Science and Necessity Cambridge 1990 |